University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
41	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
42	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
43	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
44	SUSE Virtualization Technologies Roadmap ® Michal Svec Add to Reading List Source URL: www.susecon.com Language: English - Date: 2015-11-20 11:17:20 Software System software SUSE Linux Cloud infrastructure Linux Foundation University of Cambridge Computer Laboratory Xen SUSE OpenStack Hypervisor LXC Hyper-V
45	Finding Word Substitutions Using a Distributional Similarity Baseline and Immediate Context Overlap Aurelie Herbelot University of Cambridge Computer Laboratory J.J. Thompson Avenue Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-29 08:57:58 Computational linguistics Linguistics Applied linguistics Language Distributional semantics Semantic similarity Opposite WordNet Bootstrapping Recall
46	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
47	Speech Dasher: Fast Writing using Speech and Gaze Keith Vertanen and David J.C. MacKay Cavendish Laboratory, University of Cambridge JJ Thomson Avenue, Cambridge, CB3 0HE, UK , Add to Reading List Source URL: www.keithv.com Language: English - Date: 2010-03-26 07:57:32 Software Humancomputer interaction Computing User interface techniques Input/output Computational linguistics Artificial intelligence applications Computer accessibility Speech recognition Dasher Words per minute Word error rate
48	From behind the keyboard to behind bars: Cybercrime arrests and prosecu6ons in the UK Dr Alice Hutchings Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cambridgecybercrime.uk - Date: 2016-08-05 09:19:21
49	Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:24:56 Operations research Edsger W. Dijkstra Network theory Shortest path problem Mathematical optimization Routing algorithms Systems engineering Dynamic programming
50	Exceliance - ALOHA Load-Balancer Memo ALOHA Virtual Appliance best practices Add to Reading List Source URL: www.haproxy.com Language: English - Date: 2014-04-28 06:41:27 Linux Foundation University of Cambridge Computer Laboratory Xen Hypervisor Hardware virtualization Hyper-V VMware Kernel-based Virtual Machine ALOHAnet Virtual appliance VMware ESXi